Angelo Montanari: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Temporal representation and reasoning in artificial intelligence: Issues and approaches

Luca Chittaro, Angelo Montanari

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 391 KB

english, 2000

2

Long-term disability progression in primary progressive multiple sclerosis: a 15-year study

Rocca, Maria A., Sormani, Maria Pia, Rovaris, Marco, Caputo, Domenico, Ghezzi, Angelo, Montanari, Enrico, Bertolotto, Antonio, Laroni, Alice, Bergamaschi, Roberto, Martinelli, Vittorio, Comi, Giancarl

Journal:

Year:

2017

Language:

english

File:

PDF, 181 KB

english, 2017

3

A graph-theoretic approach to map conceptual designs to XML schemas

Franceschet, Massimo, Gubiani, Donatella, Montanari, Angelo, Piazza, Carla

Journal:

ACM Transactions on Database Systems

Year:

2013

Language:

english

File:

PDF, 690 KB

english, 2013

4

An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers

Brunello, Andrea, Gallo, Paolo, Marzano, Enrico, Montanari, Angelo, Vitacolonna, Nicola

Journal:

Journal of Cases on Information Technology

Year:

2019

Language:

english

File:

PDF, 1.57 MB

english, 2019

5

Quality evaluation of the Finasteride polymorphic forms I and II in capsules

da Silva, Lucélia Magalhães, Montanari, Cristina Martiniano, Santos, Olimpia Maria Martins, Cazedey, Edith Cristina Laignier, Ângelo, Marilene Lopes, de Araújo, Magali Benjamin

Journal:

Journal of Pharmaceutical and Biomedical Analysis

Year:

2015

Language:

english

File:

PDF, 1.60 MB

english, 2015

6

A Road Map of Interval Temporal Logics and Duration Calculi

Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Journal:

Journal of Applied Non-Classical Logics

Year:

2004

Language:

english

File:

PDF, 373 KB

english, 2004

7

Optimal Monopulse Beamforming for Side-Looking Airborne Radars

Gottardi, Giorgio, Poli, Lorenzo, Rocca, Paolo, Montanari, Alessandro, Aprile, Angelo, Massa, Andrea

Journal:

IEEE Antennas and Wireless Propagation Letters

Year:

2016

Language:

english

File:

PDF, 2.26 MB

english, 2016

8

Definability and decidability of binary predicates for time granularity

Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco

Journal:

Journal of Applied Logic

Year:

2006

Language:

english

File:

PDF, 288 KB

english, 2006

9

Compact and tractable automaton-based representations of time granularities

Ugo Dal Lago, Angelo Montanari, Gabriele Puppis

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 788 KB

english, 2007

10

Peter Øhrstrøm and Per F. V. Hasle. Temporal logic. From ancient ideas to artificial intelligence. Studies in linguistics and philosophy, vol. 57. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, viii + 413 pp.

Montanari, Angelo, Policriti, Alberto

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 429 KB

english, 1997

11

Short-term accrual of gray matter pathology in patients with progressive multiple sclerosis: an in vivo study using diffusion tensor MRI

Marco Rovaris, Antonio Gallo, Paola Valsasina, Beatrice Benedetti, Domenico Caputo, Angelo Ghezzi, Enrico Montanari, Maria Pia Sormani, Antonio Bertolotto, Gianluigi Mancardi, Roberto Bergamaschi, Vit

Journal:

Year:

2005

Language:

english

File:

PDF, 208 KB

english, 2005

12

The clinical value of Coop/Wonca charts in assessment of HRQoL in a large cohort of relapsing-remitting multiple sclerosis patients: Results of a multicenter study

Pappalardo, Angelo, Chisari, Clara Grazia, Montanari, Enrico, Pesci, Ilaria, Borriello, Giovanna, Pozzilli, Carlo, D’Amico, Emanuele, Patti, Francesco

Journal:

Multiple Sclerosis and Related Disorders

Year:

2017

Language:

english

File:

PDF, 365 KB

english, 2017

13

[IEEE 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Regensburg, Germany (2007.09.3-2007.09.7)] 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema

Franceschet, Massimo, Montanari, Angelo, Gubiani, Donatella

Year:

2007

Language:

english

File:

PDF, 252 KB

english, 2007

14

On the relationships between theories of time granularity and the monadic second-order theory of one successor

Montanari, Angelo, Peron, Adriano, Puppis, Gabriele

Journal:

Journal of Applied Non-Classical Logics

Year:

2006

Language:

english

File:

PDF, 238 KB

english, 2006

15

Which fragments of the interval temporal logic HS are tractable in model checking?

Bozzelli, Laura, Molinari, Alberto, Montanari, Angelo, Peron, Adriano, Sala, Pietro

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.37 MB

english, 2018

16

Data integration and favourability maps for exploring geothermal systems in Sicily, southern Italy

Trumpy, Eugenio, Donato, Assunta, Gianelli, Giovanni, Gola, Gianluca, Minissale, Angelo, Montanari, Domenico, Santilano, Alessandro, Manzella, Adele

Journal:

Year:

2015

Language:

english

File:

PDF, 5.27 MB

english, 2015

17

Branching within Time: An Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity

Massimo Franceschet, Angelo Montanari

Journal:

Research on Language & Computation

Year:

2003

Language:

english

File:

PDF, 270 KB

english, 2003

18

Sensory profile of coffees of different cultivars, plant exposure and post-harvest

Bruno, Batista Ribeiro, Alex, Mendonça de Carvalho, Marcelo, Ângelo Cirillo, Francisco, Mickael de Medeiros Câmara, Fernanda, Faria Montanari

Journal:

African Journal of Agricultural Research

Year:

2019

Language:

english

File:

PDF, 271 KB

english, 2019

19

An original approach to positioning with cellular fingerprints based on decision tree ensembles

Viel, Andrea, Brunello, Andrea, Montanari, Angelo, Pittino, Federico

Journal:

Journal of Location Based Services

Year:

2019

Language:

english

File:

PDF, 3.16 MB

english, 2019

20

Dealing with different time granularities in formal specifications of real-time systems

Edoardo Corsetti, Angelo Montanari, Elena Ratto

Journal:

Real-Time Systems

Year:

1991

Language:

english

File:

PDF, 1.25 MB

english, 1991

21

Modal Deduction in Second-Order Logic and Set Theory - II

Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti

Journal:

Year:

1998

File:

PDF, 1.73 MB

1998

22

Atrial strain is the main determinant of release of atrial natriuretic peptide

Francesco Portaluppi, Alberto Pradella, Loris Montanari, Ettore degli Uberti, Giorgio Trasforini, Angelo Margutti, Anna Rosa Cavallini, Bruno Bagni

Journal:

International Journal of Cardiology

Year:

1990

Language:

english

File:

PDF, 704 KB

english, 1990

23

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives

Molinari, Alberto, Montanari, Angelo, Peron, Adriano

Journal:

Information and Computation

Year:

2017

Language:

english

File:

PDF, 2.05 MB

english, 2017

24

[IEEE 2017 International Conference on Localization and GNSS (ICL-GNSS) - Nottingham, United Kingdom (2017.6.27-2017.6.29)] 2017 International Conference on Localization and GNSS (ICL-GNSS) - Dealing with network changes in cellular fingerprint positioning systems

Viel, Andrea, Gallo, Paolo, Montanari, Angelo, Gubiani, Donatella, Torre, Andrea Dalla, Pittino, Federico, Marshall, Chris

Year:

2017

Language:

english

File:

PDF, 4.66 MB

english, 2017

25

Plasma homocysteine and folate are related to arterial blood pressure in type 2 diabetes mellitus

Paolo Fiorina, Mario Lanfredini, Alberto Montanari, Maria Grazia Peca, Annamaria Veronelli, Alessandra Mello, Ettore Astorri, Angelo Craveri

Journal:

American Journal of Hypertension

Year:

1998

Language:

english

File:

PDF, 250 KB

english, 1998

26

Evaluation of IFN-γ polymorphism+874 T/A in patients with recurrent tonsillitis by PCR Real Time Mismatch Amplification Mutation Assay (MAMA Real Time PCR)

Bergallo, Massimiliano, Gambarino, Stefano, Loiacono, Elisa, Vergano, Luca, Galliano, Ilaria, Montanari, Paola, Astegiano, Sara, Tavormina, Paolo, Tovo, Pier-Angelo

Journal:

Year:

2015

Language:

english

File:

PDF, 344 KB

english, 2015

27

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 990 KB

english, 2009

28

Games, Automata, Logics, and Formal Verification (GandALF 2013)

Montanari, Angelo, Puppis, Gabriele, Villa, Tiziano

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 145 KB

english, 2015

29

[IEEE 2019 IEEE Electrical Insulation Conference (EIC) - Calgary, AB, Canada (2019.6.16-2019.6.19)] 2019 IEEE Electrical Insulation Conference (EIC) - Partial Discharge Inception Voltage in DC insulation systems: a comparison with AC voltage supply

Seri, Paolo, Cirioni, Leonardo, Naderiallaf, Hadi, Montanari, Gian Carlo, Hebner, Robert, Gattozzi, Angelo, Feng, Xianyong

Year:

2019

File:

PDF, 996 KB

2019

30

A general modal framework for the event calculus and its skeptical and credulous variants

Iliano Cervesato, Angelo Montanari

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 3.67 MB

english, 1999

31

Evaluation of the cost of home care for terminally ill cancer patients

Marco Maltoni, Claudio Travaglini, Matteo Santi, Oriana Nanni, Emanuela Scarpi, Simonetta Benvenuti, Livia Albertazzi, Laura Amaducci, Stefania Derni, Laura Fabbri, Angelo Masi, Luigi Montanari, Giuse

Journal:

Supportive Care in Cancer

Year:

1997

Language:

english

File:

PDF, 143 KB

english, 1997

32

Thyroid Function and Autoimmunity during Interferon β-1b Treatment: A Multicenter Prospective Study

Durelli, Luca, Ferrero, Bruno, Oggero, Alessandra, Verdun, Elisabetta, Ghezzi, Angelo, Montanari, Enrico, Zaffaroni, Mauro

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2001

Language:

english

File:

PDF, 97 KB

english, 2001

33

Absolute quantification of residual DNA in a new extracellular matrix derived from human reticular dermis (HADM) using real-time TaqMan® MGB-PCR

Bergallo, Massimiliano, Galliano, Ilaria, Montanari, Paola, Cambieri, Irene, Fumagalli, Mara, Casarin, Stefania, Ferravante, Angelo, Alotto, Daniela, Stella, Maurizio, Castagnoli, Carlotta

Journal:

Bio-Medical Materials and Engineering

Year:

2017

Language:

english

File:

PDF, 592 KB

english, 2017

34

Interval vs. Point Temporal Logic Model Checking

Bozzelli, Laura, Molinari, Alberto, Montanari, Angelo, Peron, Adriano, Sala, Pietro

Journal:

ACM Transactions on Computational Logic

Year:

2018

Language:

english

File:

PDF, 929 KB

english, 2018

35

Structural Elucidation and Free Radical Scavenging Activity of a new o -Orsellinic Acid Derivative Isolated from the Lichen Cladonia rappii

Lage, Tiago C.A., Horta, Lívia P., Montanari, Ricardo M., Silva, Jefferson G., de Fátima, Ângelo, Fernandes, Sergio A., Modolo, Luzia V.

Journal:

Natural Product Communications

Year:

2016

Language:

english

File:

PDF, 295 KB

english, 2016

36

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 374 KB

english, 2010

37

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 382 KB

english, 2009

38

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT

Bresolin, Davide, Monica, Dario Della, Montanari, Angelo, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 233 KB

english, 2011

39

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL

Bresolin, Davide, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 483 KB

english, 2011

40

[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Interval Temporal Logics Model Checking

Montanari, Angelo

Year:

2016

Language:

english

File:

PDF, 75 KB

english, 2016

41

[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Timelines Are Expressive Enough to Capture Action-Based Temporal Planning

Gigante, Nicola, Montanari, Angelo, Mayer, Marta Cialdea, Orlandini, Andrea

Year:

2016

Language:

english

File:

PDF, 236 KB

english, 2016

42

An enantiomerically pure ?-sulphinyl-N,N-dimethylacetamide: a new, efficient reagent for enantioselective aldol-type condensation

Annunziata, Rita, Cinquini, Mauro, Cozzi, Franco, Montanari, Fernando, Restelli, Angelo

Journal:

Journal of the Chemical Society Chemical Communications

Year:

1983

Language:

english

File:

PDF, 179 KB

english, 1983

43

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Aceto, Luca, Della Monica, Dario, Goranko, Valentin, Ingólfsdóttir, Anna, Montanari, Angelo, Sciavicco, Guido

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 1.08 MB

english, 2016

44

Circadian Rhythms of Atrial Natriuretic Peptide, Blood Pressure and Heart Rate in Normal Subjects

Portaluppi, Francesco, Montanari, Loris, Bagni, Bruno, degli Uberti, Ettore, Trasforini, Giorgio, Margutti, Angelo

Journal:

Year:

1989

File:

PDF, 752 KB

1989

45

A Guided Tour through some Extensions of the Event Calculus

Iliano Cervesato, Massimo Franceschet, Angelo Montanari

Journal:

Computational Intelligence

Year:

2000

Language:

english

File:

PDF, 395 KB

english, 2000

46

Ammonia Adsorption and Oxidation on Cu/Mg/Al Mixed Oxide Catalysts Prepared via Hydrotalcite-Type Precursors

Trombetta, Marcella, Ramis, Gianguido, Busca, Guido, Montanari, Beatrice, Vaccari, Angelo

Journal:

Year:

1997

Language:

english

File:

PDF, 232 KB

english, 1997

47

Multiobjective evolutionary feature selection and fuzzy classification of contact centre data

Brunello, Andrea, Jiménez, Fernando, Marzano, Enrico, Montanari, Angelo, Sánchez, Gracia, Sciavicco, Guido

Journal:

Year:

2019

File:

PDF, 1.36 MB

2019

48

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

Barozzini, David, de Frutos-Escrig, David, Della Monica, Dario, Montanari, Angelo, Sala, Pietro

Journal:

Theoretical Computer Science

Year:

2020

Language:

english

File:

PDF, 3.45 MB

english, 2020

49

Single event effects measurements on the electronics for the CMS muon barrel detector at LHC

S Agosteo, L Castellani, G D'Angelo, F Dal Corso, G.M Dallavalle, M De Giorgi, C Fernandez, F Gonella, I Lippi, J Marin, R Martinelli, A Montanari, F Odorici, J.C Oller, M Pegoraro, G Torromeo, R Trav

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

2002

Language:

english

File:

PDF, 315 KB

english, 2002

50

Nocturnal hypertension in chronic renal failure. A chronobiological study

Portaluppi, Francesco, Montanari, Loris, Uberti, Ettore degli, Margutti, Angelo, Pansini, Rafaele

Journal:

Journal of Interdisiplinary Cycle Research

Year:

1990

Language:

english

File:

PDF, 328 KB

english, 1990

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски